// "Generate overloaded constructor with default parameter values" "true"
record<caret> Point(int x, int y) {
  public Point {
    
  }
}